1921. Philosophical applications of free logic
پدیدآورنده: with an introduction and edited by Karel Lambert
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
BC
135
.
P45
1922. Philosophical aspects of symbolic reasoning in early modern mathematics
پدیدآورنده: / edited by Albrecht Heeffer and Maarten Van Dyck
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Logic, Symbolic and mathematical, History, Congresses
رده :
E-BOOK
1923. Philosophical grammar /
پدیدآورنده: Ludwig Wittgenstein ; edited by Rush Rhees ; translated by Anthony Kenny.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Grammar, Comparative and general.,Inference.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
1924. Philosophical grammar
پدیدآورنده: Wittgenstein, Ludwig
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Grammar, Comparative and general,، Logic, Symbolic and mathematical,، Inference,Philosophy ، Mathematics
رده :
B3376
.
W563
P52613
1974
1925. Philosophical grammar
پدیدآورنده: Ludwig Wittgenstein
کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (اصفهان)
موضوع: Wittgenstein, Ludwig, 1889 - 1951,Grammar, Comparative and general,Logic, Symbolic and mathematical,Inference,Mathematics, Philosophy
رده :
193
W831PR
1926. Philosophical investigations
پدیدآورنده: by Ludwig Wittgenstein; translated by G.E.M. Anscombe
کتابخانه: کتابخانه و مرکز اطلاع رسانی شیخ بهائی (دفتر تبليغات اسلامی حوزه علميه خراسان) (خراسان رضوی)
موضوع: Logic, Symbolic and mathematical,Language and languages
رده :
BC
135
.
W563
,
P53
1958
1927. Philosophical investigations
پدیدآورنده: Wittgenstein, Ludwig
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Language and languages
رده :
B
3376
.
W563
.
P53
1976
1928. Philosophical remarks
پدیدآورنده: Wittgenstein, Ludwig, 1889- 1951
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Semantics philosophy ► Logic, Symbolic and mathematical ► Mathematics- Philosophy
رده :
W831p
1929. Philosophical remarks
پدیدآورنده: Wittgenstein, Ludwig, 1889- 1951
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Semantics philosophy ► Logic, Symbolic and mathematical ► Mathematics- Philosophy
رده :
W831p
1930. Philosophical remarks
پدیدآورنده: Wittgenstein, Ludwig, 1889- 1951
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Semantics philosophy ► Logic, Symbolic and mathematical ► Mathematics- Philosophy
رده :
W831p
1931. Philosophikē grammatikē /
پدیدآورنده: Ludwig Wittgenstein ; eisagōgē, metaphrasē, scholia: Kōstēs Kōvaios.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Grammar, Comparative and general.,Inference.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Grammar, Comparative and general.,Inference.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
1932. Philosophische Bemerkungen. Aus dem
پدیدآورنده: Wittgenstein
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Semantics (Philosophy),Logic, Symbolic and mathematical,Mathematical -- Philosophy.
رده :
B
3376
.
W5
1970
1933. Philosophische Grammatik. Hrsg. von Rush Rhees.
پدیدآورنده: Wittgenstein
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Grammar, Comparative and general.,Logic, Symbolic and mathematical,Inference(Logic),Mathematics -- Philosophy.
رده :
B
3376
.
W56P526
1969
1934. Philosophische Grammatik. Hrsg. von Rush Rhees
پدیدآورنده: Wittgenstein
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Grammar, Comparative and general,Logic, Symbolic and mathematical,Inference (Logic),Mathematics--Philosophy
رده :
B
3376
.
W563P526
1969
1935. Philosophy of mathematics and deductive structure in Euclid's Elements /
پدیدآورنده: Ian Mueller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Euclid., Elements.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
رده :
QA31
.
E9
M83
1936. Philosophy of mathematics in the twentieth century :
پدیدآورنده: Charles Parsons
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
2
.
P372
2014
1937. Picturing quantum processes :a first course in quantum theory and diagrammatic reasoning
پدیدآورنده: Coecke, Bob
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Quantum theory,، Quantum computing,، Logic, Symbolic and mathematical
رده :
QC
174
.
12
.
C57
2017
1938. Plural logic /
پدیدآورنده: Alex Oliver and Timothy Smiley
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic,Logic, Symbolic and mathematical
1939. Posthumous writings
پدیدآورنده: Frege, Gottlob
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics
1940. Posthumous writings /
پدیدآورنده: Gottlob Frege ; edited by Hans Hermes, Friedrich Kambartel, Friedrich Kaulbach, with the assistance of Gottfried Gabriel and Walburga Rödding ; translated by Peter Long, Roger White, with the assistance of Raymond Hargreaves
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics
رده :
QA3
.
F74213
1979
